Robust geometric computation